Nerode, Anil
Retrieve the information about Nerode, Anil and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Recursion Theory (Proceedings of Symposia in Pure Mathematics)
Logic For Applications
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
Logic for applications (Texts and monographs in computer science)
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free